| author | Michael Albinus <michael.albinus@gmx.de> | |
| Sat, 14 Oct 2017 10:52:05 +0000 (12:52 +0200) | ||
| committer | Michael Albinus <michael.albinus@gmx.de> | |
| Sat, 14 Oct 2017 10:52:05 +0000 (12:52 +0200) | ||
| commit | def9715282f71953740e8b92cf6443bfc459dd41 | |
| tree | 39d936cb9bc8dce7c3179903d25f47c8a45daaca | tree | snapshot |
| parent | 4e59ecc646e88a7a756f1850d92fd2b8780513eb | commit | diff |
| etc/NEWS | diff | blob | history |